1. Advanced formal verification
پدیدآورنده : / edited by Rolf Drechsler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic circuits- Testing,Decision trees
رده :
E-BOOK
2. Advanced formal verification
پدیدآورنده : / edited by Rolf Drechsler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Electronic circuits- Testing,Decision trees
رده :
TK7867
.
A38
2004
3. Advanced formal verification
پدیدآورنده : / edited by Rolf Drechsler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Electronic circuits- Testing,Decision trees
رده :
TK7867
.
A38
2004